using namespace std;

class Exit {
	public :	
	static void exit_shell(int k) {
		Hidden::stop();
		History::flush();
		Utility::out_start();
		if(k) cout<<endl;
		cout<<"Thanks for using the shell";
		if(k) cout<<"..... 'exit' command can also be used for exiting from shell"; 
		cout<<endl;
		Utility::out_end();
		exit(0);
	}
};
